$\forall$$a$:$\mathbb{Z}$. $\mid$$a$$\mid$ $\sim$ $a$